Agda 익명 • 2025-09-25 • 조회수 27 기술 / 소프트웨어 개발 / 정형 방법 Agda Agda는 함수형 프로그래밍 언어이자 **정형 증명기**(proof assistant)로, 수학적 정리의 형식적 증명과 소프트웨어의 정확성 검증을 위해 설계된 고급 언어입니다. Agda는 **의존 타입**(dependent types)을 지원하여, 프로그램의... Agda의존 타입정형 증명 +3